Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐Static Analysis
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Decompilation
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ฏGradual Typing
Flag this post
OpenBSD proposes BPF socket filtering to enhance daemon security
discoverbsd.comยท11h
๐ก๏ธeBPF Security
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐งRISC-V Assembler
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
Hello World in C Without Linking in Libraries
hackaday.comยท1d
๐Assembly Linking
Flag this post
Void Linux Gets Runkit, a Friendly GUI for Managing runit Services
linuxiac.comยท1h
๐ System administration
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐ฆRust Borrowing
Flag this post
Oops, My UUIDs Collided
๐งชBinary Fuzzing
Flag this post
Nim 2.2.6
๐ณIncremental Parsing
Flag this post
Rdza โ Rust Programming, in Polish
๐ฆRust Macros
Flag this post
Rust 1.91.0 released
lwn.netยท22h
๐ฆEmbedded Rust
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.comยท1d
๐PostScript
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.orgยท2h
๐ฆMETS Containers
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐ฉSystems Programming
Flag this post
Arranging the PIC Parterre
rastamouse.meยท3d
๐WASI
Flag this post
Loading...Loading more...